bin_PROGRAMS=eqntott
eqntott_SOURCES=bnode.c canon.c cover.c duple.c hash.c hdr.h merge.c misc.c nt.c preprocess.c prexpr.c procargs.c pterm.c pterm_ops.c putpla.c read_ones.c reduce.c rmcvd.c substitute.c version.c x.c x.h yystuff.c y.tab.h y.tab.c
